A transformation system for deductive database modules with perfect model semantics
نویسندگان
چکیده
منابع مشابه
A Transformation System for Deductive Database Modules with Perfect Model Semantics
WC present a transformation system for deductive database (DDB) modules. We show that it preserves several data-dependency properties of a DDB and is correct for the “perfect model” semantlcb of DDBs. Perfect models are not directly amenable to logical reasoning since logically equivalent DDBs may have different perfect models. We develop an approach which involves using a condltlon on data dep...
متن کاملA Deductive Database Language Supporting Modules
The applicability of programming languages for knowledge based systems to real life application problems is largely determined by their support of modularity, abstraction, and reusability of modules. While the deductive database approach to knowledge representation has its merits in the declarativity of the underlying logic languages and the integration of deduction and efficient database acces...
متن کاملHandling XML with a Deductive Database System
We propose an integration of XML with F-Logic, a deductive object-oriented database framework. The F-Logic data model is in fact a semistructured data model, exhibiting many similarities with the XML/DOM data model: there is a canonical mapping from XML to a fragment of F-Logic. The advantages of the integration are that the full expressiveness of F-Logic (and the functionality of the FLORID sy...
متن کاملDES: A Deductive Database System
This work describes a novel implementation of a deductive database system which fills some gaps other systems do not. In fact, this system was born to this end and since its inception, many new features have been added (null values, outer joins, aggregates, ...). In particular, it embodies both Datalog and SQL query languages, where the same database can be queried. It enjoys an actual interact...
متن کاملWell-Founded Semantics for Deductive Object-Oriented Database Languages
We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternatingxpoint characterization of the well-founded model to them. In order to compute the state sequence, states are explicitly integrated by making them rst-class citizens of the underlying language. The concept is applied to Florid, an implementation of F-Logic, previously supporting...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1993
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90013-j